9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science): 310
by Ewing Lusk
ISBN 13: 9783540193432
Format: Paperback (792 pages) Publisher: Springer Published: 13 Jun 1988
Save for later